1. A survey of verification techniques for parallel programs
Author: Howard Barringer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
Classification :
QA76
.
5
H693
1985
